Piggyback dualities revisited B. A. Davey, M. Haviar, and H. A. Priestley Dedicated to the memory of Ervin Fried and Jiri Sichler Abstract. In natural duality theory, the piggybacking technique is a valuable tool for con

Source URL: www.fpv.umb.sk

M EMORAX, a precise and sound tool for automatic fence insertion under TSO ? Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1

Source URL: user.it.uu.se

• Theoretical computer science
• Mathematics
• Finite automata
• Computing
• Theory of computation
• Formal methods
• Reachability problem
• Logic in computer science
• Model checking
• Memory barrier
• Preorder
• Algorithm

Dense Approximate Storage in Phase-Change Memory Jacob Nelson, Adrian Sampson, and Luis Ceze University of Washington {nelson, asampson, luisceze}@cs.washington.edu ABSTRACT

Source URL: asplos11.cs.ucr.edu

The Bryan Barnacle Memorial Cup THE BARNEY TROPHY The idea for this trophy, in memory of Barney, is to promote, within the club, Barney’s ethos towards bowls. Before his illness he made himself

Source URL: www.rugbypolicebowlsclub.org.uk

Characterization of the angular memory effect of scattered light in biological tissues Sam Schott,1,2 Jacopo Bertolotti,1,3 Jean-Francois L´eger,4,5,6 Laurent Bourdieu,4,5,6 and Sylvain Gigan1,7,∗ 1 Institut

Source URL: www.jacopobertolotti.com

• Physics
• Chemistry
• Nature
• Microscopy
• Scattering
• Light scattering
• Speckle pattern
• Correlation function
• Two-photon excitation microscopy
• Low-energy ion scattering

SoK: Eternal War in Memory L´aszl´o Szekeres† , Mathias Payer‡ , Tao Wei∗‡ , Dawn Song‡ † Stony Brook University ‡ University of California, Berkeley ∗ Peking University

Source URL: www.nebelwelt.net

Generating Efficient Data Movement Code for Heterogeneous Architectures with Distributed-Memory Roshan Dathathri Chandan Reddy Thejas Ramashekar Uday Bondhugula Department of Computer Science and Automation

Source URL: mcl.csa.iisc.ernet.in

What does the mental brittle transformation task measure? Brittle transformation are transformations of a spatial array where local regions in the array undergo rigid transformation (rotation or translation), but these r

Source URL: spatiallearning.org

• Cognitive science
• Difference due to memory
• Electroencephalography
• Cognition
• Neuroscience
• Nervous system

Glossary abscissa 1) Math. the x-coordinate. address 1) Comp. a number that represents a location in memory. aggregate 1) Stat. to combine consecutive observations in a time series; for example, a monthly time series of

Source URL: www.burns-stat.com

• Mathematics
• Mathematical analysis
• Data types
• Regression analysis
• Probability theory
• Random variable
• Randomness
• Statistical theory
• Derivative
• Variable
• LOOP
• Parameter

Performance Evaluation of Adaptivity in Software Transactional Memory Mathias Payer ETH Zurich, Switzerland Abstract—Transactional memory (TM) is an attractive platform for parallel programs,

Source URL: www.nebelwelt.net